Pattern Based Analysis of BPEL4WS
نویسندگان
چکیده
Web services composition is an emerging paradigm for enabling application integration within and across organisational boundaries. A landscape of languages and techniques for web services composition has emerged and is continuously being enriched with new proposals from different vendors and coalitions. However, little or no effort has been dedicated to systematically evaluating the capabilities and limitations of these languages and techniques. The work reported in this paper is a first step in this direction. It presents an in-depth analysis of the Business Process Execution Language for Web Services (BPEL4WS). The framework used for this analysis is based on a collection of workflow and communication patterns.
منابع مشابه
Analysis through Reflection Walking the EMF model of BPEL4WS∗
The Eclipse modelling framework provides a hierarchy of Java classes that represent the abstract syntax of BPEL4WS. Many analyses of a BPEL4WS program boil down to walking its abstract syntax tree. We review, refine and extend a technique, based on Java’s reflection mechanism, to walk such trees. We apply this technique to implement two non-trivial analyses of BPEL4WS programs.
متن کاملAre We There Yet? Seamless Mapping of Bpmn to Bpel4ws Introduction
Current process management practice strives for better support for mappings between process models in the design and execution phases of process implementation projects. In this context, BPMN was developed as a graphical representation for the process execution language BPEL4WS, with the intention that BPMN can be automatically mapped to executable BPEL4WS specifications. However, there is doub...
متن کاملAre We There Yet-Seamless Mapping of BPMN to BPEL4WS
Current process management practice strives for better support for mappings between process models in the design and execution phases of process implementation projects. In this context, BPMN was developed as a graphical representation for the process execution language BPEL4WS, with the intention that BPMN can be automatically mapped to executable BPEL4WS specifications. However, there is doub...
متن کاملBusiness Process Execution Language for Web Services
Permission to copy and display the "Business Process Execution Language for Web Services Specification, version 1.1 dated May 5, 2003" (hereafter "the BPEL4WS Specification"), in any medium without fee or royalty is hereby granted, provided that you include the following on ALL copies of the BPEL4WS Specification, or portions thereof, that you make: 1. A link to the BPEL4WS Specification at the...
متن کاملTowards the Semantics and Verification of BPEL4WS
In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition and orchestration. For the convenience, We propose the language called μ-BPEL including all primitive and structured activities within BPEL4WS. Moreover, As the Timed Automata (TA) [2] is powerful in designing real-time models w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002